fractional part of (((sqrt 5 + sqrt 7)^2011)*10^99)